| Home :: Operating Systems :: Research |
Hydra Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability. http://www.cs.berkeley.edu/~gribble/osprelims/summaries/hydr a.html The Logical Disk: A New Approach to Improving File Systems Paper by Wiebren de Jonge, M. Frans Kaashoek, and Wilson C. Hsieh (1993). [PDF] http://www2.cs.utah.edu/~wilson/papers/logical-disk.pdf RTG: Real Time Systems Group University of Pennsylvania, Philadelphia. Goal: develop methods, tools, systems to facilitate designing and implementing reliable distributed RT systems. Current projects: developing specification and analysis methods for RT systems, probabilistic modeling and analysis, schedulability analysis, run-time monitoring/checking, RT wireless communication and hybrid systems. http://www.cis.upenn.edu/~rtg/ Chimera Multitasking, multiprocessor OS with features of commercial realtime OSs; as fast as VxWorks, OS-9, VRTX, LynxOS; 10 times faster in some cases: interprocessor communication. VMEbus-based, supports C/C++, goal: support developing dynamically reconfigurable software for robotic and automation systems . http://www-2.cs.cmu.edu/~aml/chimera/chimera.html |
